$\forall$$T$:Type, $a$:$T$ List, $x$:$T$. l\_disjoint($T$;$a$;[$x$]) $\Leftrightarrow$ $\neg$($x$ $\in$ $a$)